The dddmp package

Functions to read in and write out BDDs, ADDs     and CNF formulas from and
to

Gianpiero Cabodi and Stefano Quer
  BDDs, ADDs     and CNF formulas
from and to files.   7  e. Dh
   <dt> <a href="dddmpAllDet.htm
l#Dddmp_cuddHeaderLoad" TARGET="M
AIN"><code>Dddmp_cuddHeaderLoad()
</code></a>  </a>    a>  </a>
1   p  Bp  Bctions for the dddmp
package r D0   0    rintCubeCnf r
y de ecur  ecur inalCheck ion.)
     d§ @  w             . e. y,
(      Memory Free Macro for DDD
MP DDDMP he DDDMP_FAILURE flag.
the error. r. . on. er of its inc
oming BDD edges. of the file. e.
}     <DT> <A HREF="dddmpAllDet.
html#" TARGET="MAIN"><CODE>()</CO
DE></A>  ntCubeCnf()</CODE></A>
</A>  </A>  ODE></A>    ODE></A>
 Check()</CODE></A>    q   Gianpi
ero Cabodi and Stefano Quer   BDD
s, ADDs     and CNF formulas from
and to files.   7  e. Dh    <dt
> <a href="dddmpAllDet.htm l#Dddm
p_cuddHeaderLoad" TARGET="M AIN">
<code>Dddmp_cuddHeaderLoad() </co
de></a>  </a>    a>  </a> 1   p
Bp  Bctions for the dddmp package
r D0   0    rintCubeCnf r y de ec
ur  ecur inalCheck ion.)      d§
@  w             . e. y, (   
Memory Free Macro for DDD MP DDDM
P he DDDMP_FAILURE flag. the erro
r. r. . on. er of its inc oming B
DD edges. of the file. e. }  
<DT> <A HREF="dddmpAllDet. html#"
TARGET="MAIN"><CODE>()</CO DE></A
>  ntCubeCnf()</CODE></A> </A>  <
/A>  ODE></A>    ODE></A>  Check(
)</CODE></A>    q   Gianpi ero Ca
bodi and Stefano Quer   BDD s, AD
Ds     and CNF formulas from and
to files.   7  e. Dh    <dt > <
a href="dddmpAllDet.htm l#Dddm p_
cuddHeaderLoad" TARGET="M AIN"> <
code>Dddmp_cuddHeaderLoad() </co
 hauxidsÃ   Ð®  H  Bf variable aux
uxids, bá   Ð®  H  BÃ¾varcomposeidsÃ¾I
dsÃ¾IN:Á   Ð®  H  Bw ids, by idsÃ¿int
¿int Ã¾modeÃ¾I   Ð®  H  B input fil
file formatÃ¿y   Ð®  H  BÃ¾IN: file
le nameÃ¿FILY   Ð®  H  B file point
nterÃ¿DdNod9   Èö  x  BtsÃ¾OUT: arra
rray of returned BDD roots REEp
     >./doc/dddmpAllFile.html MP
    9     til.c a
               ôÝ
      <
         s            ° @
A   )   h ï   superscriptsandsubs
bscripts       InSuppl2 «  )   ×¶r
ry    supplementalarrowsa  ¬  ð«
     InSupple ¬  )    Sf    supp
lementalarrowsb            InSup
pl5 ª  1   X\q5!   supplementalma
thematicaloperators       InSuppl
3 ¬  1   ²      supplementarypri
vateuseareaa    p­      InSuppl4
­  1    #K     supplementarypriva
teuseareab    ð®    Cs BH  BP¯
     äÇö    surrogate       S  BH
H  B        Fu     symbol   «
   Syriac B`«      ëI[n    syriac
  ð«    Tagalog P¬      +Óå   tagal
 tagalog  ¬      Tagbanwa ­
zâß8    tagbanwa        InTags B0®
®      ·¿dù   tags    À®      Tamil
mil  B ¯      ôµÔ    tamil   °¯
     Telugu B °      ä£Ò)    telugu
gu   °      Terminal ±  )    ®4
   terminalpunctuation  ²  ð±    T
  Thaana BP²       ÌÞí   thaana  à²
 à²     Thai   B@³      à5å   thai
thai    Ð³      Tibetan 0´      8
8+     tibetan  ´      Lt BH  B µ
  !   Ù^ÿ   titlecaseletter         Cn BH  B
     Cn BH  B       Ê¡¤W    unass
signed      InUnifie «  1   ÿít"   unifiedca
   unifiedcanadianaboriginalsylla
bics      UnifiedI ¬  !   ªßN 
 unifiedideograph        Uppercas
 ®      èñê?    uppercase       Lu
u BH  Bð®!   èÝ   uppercaseletter
etter  ¯      InVariat °  !     ,
     variationselectors      Whit
eSpa ±      Áå;Á
   whitespace
   Yi BH  B ²      as¡½    yi
  InYiRadi ²      èsÒ<    yiradical
als      InYiSyll ³  !   Åé   yis
yisyllables  ´  ´

**********************************************************************

Dddmp_Bin2Text()               Converts from binary to ASCII format
                                DDDMP_FAILURE flag.   the error. r.
                                . on. er of its incoming BDD edges.
                                of the file. e.     }     <DT> <A
                               HREF="dddmpAllDet.html#" TARGET="MAI
                               N"><CODE>()</CODE></A>  ntCubeCnf()<
                               /CODE></A>  </A>  </A>  ODE></A>
                               ODE></A>  Check()</CODE></A>    q
                                 B  Bo Cabodi and Stefano Quer
                               BDDs, ADDs     and CNF formulas from
                               and to files.   7  e. Dh    <dt> <
                               a href="dddmpAllDet.htm l#Dddmp_cudd
                               HeaderLoad" TARGET="M AIN"><code>Ddd
                               mp_cuddHeaderLoad() </code></a>  </a
                               >    a>  </a> 1   p  Bp  Bctions for
                               the dddmp package r D0   0    rintCu
                               beCnf r y de ecur  ecur inalCheck io
                               n.)      d§ @  w             . e. y,
                               (      Memory Free Macro for DDD MP
                               DDDMP he DDDMP_FAILURE flag. the err
                               or. r. . on. er of its inc oming BDD
                               edges. of the file. e. }     <DT> <
                               A HREF="dddmpAllDet. html#" TARGET="
                               MAIN"><CODE>()</CO DE></A>  ntCubeCn
                               f()</CODE></A> </A>  </A>  ODE></A>
                               ODE></A>  Check()</CODE></A>    q
                               Gianpi ero Cabodi and Stefano Quer
                               BDD s, ADDs     and CNF formulas fro
                               m and to files.   7  e. Dh    <dt
                               > <a href="dddmpAllDet.htm l#Dddm p_
                               cuddHeaderLoad" TARGET="M AIN"> <cod
                               e>Dddmp_cuddHeaderLoad() </co  hauxi
                               dsÃ   Ð®  H  Bf variable auxids, bá   Ð®
                                  Ð®  H  BÃ¾varcomposeidsÃ¾IN:Á   Ð®  H
                               ®  H  Bw ids, by idsÃ¿int Ã¾modeÃ¾I
                                  Ð®  H  B input file formatÃ¿y   Ð®
                               ®  H  BÃ¾IN: file nameÃ¿FILY   Ð®  H  B
                                 B file pointerÃ¿DdNod9   Èö  x  BtsÃ¾
                               sÃ¾OUT: array of returned BDD roots R
                               REEp       >./doc/dddmpAllFile.html
                               MP     9     til.c a
                                              ôÝ
                                  <
                                  s            ° @        A   )   h
                                ï   superscriptsandsubscripts
                                  InSuppl2 «  )   ×¶ry    supplement
                               talarrowsa  ¬  ð«    InSupple ¬  )
                                   Sf    supplementalarrowsb     
                                      InSuppl5 ª  1   X\q5!   suppl
                               ementalmathematicaloperators       I
                               nSuppl3 ¬  1   ²      supplementary
                               privateuseareaa    p­      InSuppl4
                               ­  1    #K     supplementaryprivateu
                               seareab    ð®    Cs BH  BP¯      äÇö
                               äÇö    surrogate       S  BH  B 
                                   Fu     symbol   «      Syriac B`
                               «      ëI[n    syriac  ð«    Tagalog P¬
                               og P¬      +Óå   tagalog  ¬      Tagb
                               agbanwa ­      zâß8    tagbanwa
                                  InTags B0®      ·¿dù   tags    À®
                               ®      Tamil  B ¯      ôµÔ    tamil
                                  °¯      Telugu B °      ä£Ò)    tel
                               elugu   °      Terminal ±  )    ®4
                                  terminalpunctuation  ²  ð±    Thaa
                               haana BP²       ÌÞí   thaana  à²     Th
                                  Thai   B@³      à5å   thai    Ð³
                               ³      Tibetan 0´      8+     tibet
                               an  ´      Lt BH  B µ  !   Ù^ÿ   titlecaselette
                               itlecaseletter         Cn BH  B 
                                  Ê¡¤W    unassigned      InUnifie «
                               «  1   ÿít"   unifiedcanadianaboriginalsyllabic
                               inalsyllabics      UnifiedI ¬  !   ª
                               ßN     unifiedideograph        Upperc
                               cas ®      èñê?    uppercase       Lu
                               u BH  Bð®!   èÝ   uppercaseletter  ¯
                               er  ¯      InVariat °  !     ,     v
                               ariationselectors      WhiteSpa ±
                                  Áå;Á
   whitespace      Yi BH  B ²
                               ²      as¡½    yi      InYiRadi ²
                                  èsÒ<    yiradicals      InYiSyll ³
                               ³  !   Åé   yisyllables  ´  ´

Dddmp_Text2Bin()               Converts from ASCII to binary format

Dddmp_cuddAddArrayLoad()       Reads a dump file representing the argument
                               ADDs.

Dddmp_cuddAddArrayStore()      Writes a dump file representing the argument
                               Array of

Dddmp_cuddAddLoad()            Reads a dump file representing the argument
                               ADD.       a   b   c   d   e   f   g   h   i

Dddmp_cuddAddStore()           Writes a dump file representing the argument
                               ADD.  l   m   n   o   p   q   r   s   t   u   v

Dddmp_cuddBddArrayLoadCnf()    Reads a dump file in a CNF format.
                                   u   v   w   x   y   z

Dddmp_cuddBddArrayLoad()       Reads a dump file representing the argument
                               BDDs.

Dddmp_cuddBddArrayStoreBlif()  Writes a dump file representing the argument
                               BDD in     a Blif/Exlif
                               notation.

Dddmp_cuddBddArrayStoreCnf()   Writes a dump file representing the argument
                               array of BDDs     in CNF
                               format.

Dddmp_cuddBddArrayStorePrefix()
                               Writes a dump file representing the argument
                               BDD in     a prefix
                               notation.

Dddmp_cuddBddArrayStoreSmv()   Writes a dump file representing the argument
                               BDD in     a prefix
                               notation.

Dddmp_cuddBddArrayStore()      Writes a dump file representing the argument
                               Array of

Dddmp_cuddBddDisplayBinary()   Display a binary dump file in a text file
                                 x       t4     ¨«           4   Î
                                À«   ¤   Î     ¤4  8Î 8¬  t9  8Î     ¼4
                               ¼4  `!  P¬  Ô  `!      Ô4  x!  È¬  l=  x!
                               !      ì4  I  à¬ ì®  I       5  (I  X­   T
                                  T  (I       5  `M  p­  ¤9  `M      45
                                xM  è­  @  xM      L5  HÕ  ®   E  HÕ
                                   d5  `Õ x®  ìä `Õ     |5  àÕ ®  dH  àÕ
                               H  àÕ     5  øÕ¯  ðUøÕ    ¬5  èº  ¯  4¬  èº
                                  ¯  4¬  èº     Ä5   »  ¯  p:   »      Ü5
                                Ü5  Ð  °¯   G  Ð      ô5è (°  çè      6
                               è      6  Èû  @°  <  Èû      $6  àû ¸°  @:
                               °  @:  àû     <6  8  Ð°  Tæ8      T6  P
                                 P  H±  ÜE  P      l6   .  `±  L¬   .
                                    6  8.  Ø±  ðB8.      6  x  ð±P  x
                               P  x      ´6    h²  ¤>        Ì6   
                                 ²   Û        ä6 ¸  ø²Ä  ¸      ü6 ý   ³
                                 ü6 ý   ³  à  ý     7   ý³ ´8   ý    th      03  
                                 ý    th      03    BÔh  @7  0ý ³ Äâ  0ý    X7  ÐL
                               Äâ  0ý    X7  ÐL   ´  ,ëÐL      p7  èL 0´     èL
                               L  0´     èL     7   M  ¨´  |d   M
                                  7     À´   A         ¸7  °   8µ  ä= °
                                °       Ð7  È  Pµ  H¡  È      è7 Ð÷  ,F  ÈV
                               ,F  ÈV  Ð÷       8  è÷ DF  èà è÷      8   ø¼F  T
                               8   ø¼F  T=   ø    08  8÷ÔF  |¬  8÷    H8  P÷LG
                                     H8  P÷LG  Àè  P÷    `8  h÷dG  Ì  h÷ 
                                Ì  h÷        à5 Äf      @¤   i  8  Èê  ôGX
                               Èê  ôGX  Èê      ¨8  àê lH  ¸5  àê     À8   ê
                                  À8   ê W   d   ê    Ø8  0êW  8  0ê
                                 0ê    ð8Ý  W  ¨áÝ      9  ¨Ý  X   ¡  ¨
                                 X   ¡  ¨Ý      9  øÜ0X  À3  øÜ    89   Ý ¨X
                               89   Ý ¨X  äê  Ý     P9  o  ÀX  ¼c  o
                               o      h9   o  8Y  Ø6   o      9  ÐÈ  PY
                                  ?  ÐÈ      9  èÈ ÈY  pº  èÈ     °9   É àY
                                 É àY Ø8   É     È9     XZ  ä       à9 È
                                   à9 È  pZ  ¸T  È      ø9àìb `;  à     :
                               ;  à     :  ¨à c  è¨à    (:  xÍ |c  ÌÜ
                                 |c  ÌÜ  xÍ     @:  Í c  4  Í     X:
                                X:  ¸Í  d  =  ¸Í         8  Y      ðn(
                               ðn(Z  :  ð"d  ß ð"     :  ¨I  ´d  >  ¨I
                               d  >  ¨I          @¤   ±  Tí8  `®  Ð:  
                                 »  De  0è»      è: »  ¼e   ?  »
                                     ;  À»  Ôe  (£  À»      ÌÞ  `J  Lf  \ùù
                               \ùù      )   Ì]µÙ   miscellaneoussymbols
                               ols    Dv      InMisce2   )   Üy     mis
                               scellaneoustechnical          Lm BH  B\[
                                    Sk BX  B              InCjkCo3 Sup
                                   InCjkCo4 rogate                `
                                          (   «««   ««««««««È
 ¼é
                                   ««q  ««««««««««««««««        h
                                        (   «««        à4 °g  hh  V   q
                               q  üë    ñ   ««««        xf              (
                                      (  «««         =  he  Pf      q
                                             ÿÿÿÿ««««      È)              (  «««
                                    (  «««            Ø.  À/      q
                                           ÿÿÿÿ««««      ¸-              h   «««
                                  h   «««        p,  È'  -      q
                                         ÿÿÿÿ««««      ¸-              h   «««
                                h   «««        @   °           q
                                       ÿÿÿÿ««««      0               ¨ó«««
                               ó«««        È©  ¸¬  p­       ³         ´¡
                                 ´¡      ««««        ø°           Ð   «««
                                 «««4w  5   H\   \   ½        ««   ««««
                               ««««««««««««        ðà            Ð   «««
                               «««        Þ ¨ß Èà  tÈ    <ø     ½      ««
                                     ««««        x              Ð   «««
                               «        H    P  tÈ    0ø     ½      «
                                   «««««««««««««««««««««««««««««««««««««
                               «««««««««««««««««««««««««««««««««««««««««
                               «««««««««««««««««««««««««««««««««««««««««
                               «««««««««««««««««««««««««««««««««««««««««
                               «««««««««««««««««««««««««««««««««««««««««
                               «««««««««««««««««««««««««««««««««««««««««
                               «««««««««««««««««««««««««««««««««««««««««
                               «««««««««««««««««««««««««««««««««««««««««
                               «««««««««««««««««««««««««««««««««««««««««
                               «««««««««««««««««««««««««««««««««««««««««
                               «««««««««««««««««««««««««««««««««««««««««
                               «««««««««««««««««««««««««««««««««««««««««
                               «««««««««««««««««««««««««««««««««««««««««
                               «««««««««««««««««««««««««««««««««««««««««
                               «««««««««««««««««««««««««««««««««««««««««
                               «««««««««««««««««««««««««««««««««««««««««
                               «««««««««««««««««««««««««««««««««««««««««
                               «««««««««««««««««««««««««««««««««««««««««
                               «««««««««««««««««««««««««««««««««««««««««
                               «««««««««««««««««««««««««««««««««««««««««
                               «««««««««««««««««««««««««««««««««««««««««
                               «««««««««««««««««««««««««««««««««««««««««
                               «««««««««««««««««««««««««««««««««««««««««
                               «««««««««««««««««««««««««««««««««««««««««
                               «««««««««««««««««««««««««««««««««««««««««
                               «««««««««««««««««««««««««««««««««««««««««
                               «««««««««««««««««««««««««««««««««««««««««
                               ««««««««««««««««««««« bac    BidiR  BPì
                                   y>:    BidiR   |U      DCfinal |
                                  KN`    DCfinal  E      DCfont B
                                 ÷»s    DCfont  ü   DCfracti D      ÕÏoó
   DCf
                                ÕÏoó
   DCfraction      DCinitia        Bidi
                               BidiRLE l;      ÀK Õ   BidiRLE  ;      Bid
                               idiRLO ä;     <ü@-   BidiRLO  <      BidiS  B\
                               diS  B\<      Þäñ£   BidiS    ÿ   BidiWS BHÿ   ù<!   BidiWS
                               iWS BHÿ   ù<!   BidiWS  ÿ   Blank  BÀÿ      C  BP  B
                               k  BÀÿ      C  BP  B        'ÜôR    DCiniti
                               tial       DCisolat U       .è
   DCisolat
                               ated      DCmedial ;       '    DCmedia
                               l        DCnarrow ;      Hh¼     DCnarrow
                                       DCnoBrea <      7
                                      DCsmall `ÿ   ÈÁ|²   DCsmall  ÿ   DCsquare ÿ   ,ãd   DCsqua
                                     DCsquare ÿ   ,ãd   DCsquare        DCsub
                                    DCsub  BP       2ô5v   DCsub   
                                   DCsuper È       ,4Q    DCsuper  
                                  DCvertic       ²ði9
   DCvertical      D
                                 DCwide Bx      dôgx   DCwide  À      Dig
                                Digit  Bð    V&'µ    Digit          Gra
                               Graph  Bh      $^2Û   Graph       ù  ¸N  x
                               N  x  B9  0¨   D   E    öC   D   hW  Ï   Ð 
                                 Ð   ¥  )   *   Hl  L   M   8I  +   ,
                                °øÛ   Ü   H¡  7   8   XÐ D   E    .  6   7
                               6   7   ðV   W   ðl^   _   Xm  A   B   ÀH
                                  ÀH  l   m   È                     x
                                         Ð          (          
                                    Ø          0                    à
                               à         x            /           #
                                      ø       Ð           èÚ          Ú
                                  Ú          ÷        !          pN
                                        (»                       Ö
                                   Õ          M          PI          è
                                           !          `Î         ¸
                                     (v          H          À
                                (\           f           f          pe
                                       ¨B          P8          `p
                                  À          ¸H          9          à¿
                                          À         ø~        
                                    È8          ð8        ~          n
                               n          Àn          Ðn          Ðm
                                      Àl          °k          Øk
                                 èk         èj          h          f
                                        Àf          Ðf          Ød
                                              °b          ¨`          Ð`
                               `          à`         ø  ù   XD  8  Br',
                               ,     X  \©      X      |   x  h©
                                x      ô
  t©                ¸  ©
                               ©      ¸          Ø  ©  ä Ø          ø
                                  ø©      ø   DK     ¤©       
                                         @  °©      @         `  ¼©
                                    `       G    È©               ¨
                               ¨  Ô©      ¨          È  à©     È      0H
                                  0H  è ì©     è            ø©     
                                        ¨E  (   ª  ´E  (          °R
                                 ª      °R          ØR   ª   ]  ØR
                                    S  (ª  TÍ  S      üJ(S  4ª      (S
                               S          PS  @ª      PS       L  ðÍLª
                                     ðÍ         Î Xª       Î     \K  0Î d
                                0Î dª      0Î         PÎ pª      PÎ
                                  ÔK  pÎ |ª      pÎ         Î ª      Î
                                 Î     ,K  ÈÎ  ª      ÈÎ          h§  =
                                =      h§      \k  è           ü    à5 ¬
                                   à5 ¬U      Hn  ;      8   ª  HÊ 8
                               8                 w  8Â äí     
                                     (.   -      ðn¬ª  ôGðn   äM 8  Pì
                                8  Pì    8         (.             Ì"
                               Ì"      Hn          @¤  8<      ØD  Ð:
                                  ØD         @¤         è D<  p   xu  
                                        xu          (  ¼       (
                                P  8Â         ù  à©    B    Ø          ø
                                   ø                  @          ÈR
                               R          ðR         S          @S
                                     àÍ          Î          Î         @Î
                                @Î         `Î         Î         ¸Î
                                           #   $   °#           C  ?   @
                                  h  G   H           !   @þa  b       F
                                 F   G   à5 ì   í   @8  "   #   8  :   ;
                                ;    «  H   I   8l  Á   Â   >  :   ;   ¨½
                               ¨½  @   A     '   (       ¿   À     %
                                  &   økI   J   e  8   9    M  Ë   Ì   øM%
                                 øM%   &   Øe  I   J   Øá  G   H   °   7   8
                                7   8    Æ Y   Z   ðd      `n  0   1
                               1    ÷+   ,   (+  H   I   ð`      À(  :
                               (  :   ;   À  :   ;   p  )   *   Â *
                                 +   XÎ I   J   Xÿ      X  0   1   @o  X   Y
                                @o  X   Y    W  @   A    Ó        hI  1
                               1   2   ¨Ó B   C   Øå  «   ¬   Ø8  @   A
                                  ·  :   ;   B        Ð²  =   >   àñ N
                                 N   O      B   C   ¸Î ;   <    îÐ  Ñ
                                Ñ  °²          h  o   p   Æ 0   1   ðvJ
                               ðvJ   K   8   C   D   àÛ H   I   øì+   ,    '
                                  ,    '  [   \    O          p)  1   2
                                  u  B   C   @íú   û    ¡  +   ,   Ô L   M
                                L   M   àn =   >   X   Ñ   Ò   `ú+   ,
                               ,           ±Ê    SpacePerl       Title
                                 B        g òß   Title           Upper  B
                                B        ÏÀÊ    Upper           Word   B
                               B        Í&·    Word            XDigit B
                                       W"é   XDigit      ù   "  àB = $Ø
                               = $Ø
                                         `u  !   "   x>             /
                                0   h=  D   E   P/  E   F   XE      â  ÐG
                               ÐG         pH          ¯  '   (   `l  4
                                  Û   (E  %   &   ¨¹  -   .    à(   )
                                  @  P   ü  `
                                                    ¸=  D   E   À~
                                      )   T   Hj  7   Ä   P÷)   *   ÷
                               ÷       H=          È5          Øÿ

Dddmp_cuddBddLoadCnf()         Reads a dump file in a CNF format.
                                  àà '   (   Èý      !   `!  9   :
                                :   p          X           1
                                         G   H   ÐL  J   K   X
                                        Ða  Ã   Ä 
                               È S   T     C   D   Èµ
                                            d          ¸p  4   5
                                  ¨I  P   Q   $  "   #    R  =
                                >   PüH  I   P.  a   b   ¸"  Q   R
                                  R       w   *   ðö
                                (   )   P"           ø^   _   o  G
                               o  G   H   È~          pü#   $   È{  i
                                È{  i   j   (>  ,   -    §
                                  (âF   G   j          øÜH   I    
                                I    º  )   *   X`  J   K   ¨ª
                                  R   ðÓ        0h          hB  7
                                7   8   8÷G   H   H©  ú  û    á   
                               á      ;   Ù  Z

Dddmp_cuddBddLoad()            Reads a dump file representing the argument
                               BDD.                                «

Dddmp_cuddBddStoreBlif()       Writes a dump file representing the argument
                               BDD in     a Blif/Exlif
                               notation.

Dddmp_cuddBddStoreCnf()        Writes a dump file representing the argument
                               BDD in     a CNF
                               format.

Dddmp_cuddBddStorePrefix()     Writes a dump file representing the argument
                               BDD in     a prefix
                               notation.

Dddmp_cuddBddStoreSmv()        Writes a dump file representing the argument
                               BDD in     a prefix
                               notation.

Dddmp_cuddBddStore()           Writes a dump file representing the argument
                               BDD.   )   )«          +               .

Dddmp_cuddHeaderLoadCnf()      Reads the header of a dump file representing
                               the argument
                               BDDs

Dddmp_cuddHeaderLoad()         Reads the header of a dump file representing
                               the argument
                               BDDs

**********************************************************************



int
Dddmp_Bin2Text(
  char *            filein,          IN: name of binary file
                                      of the variables creat
                                     ed le a      <b></b> <i
                                     ></i>  > <i>OUT: maximu
                                     m identifier of the var
                                     iables created</i>  i>
                                      /i>  H  B   Util Func
                                     tions for the dddmp pac
                                     kage <P>  fixed     and
                                     in Blif form. <P>  rmul
                                     a from a BDD or an arra
                                     y of BDDs <P>       Ba
  char *            fileout          IN: name of ASCII file
                                               <
)
  Converts from binary to ASCII format. A BDD array is loaded and and stored
  to the target
  file.

  Side Effects: None
    !   ó¨óÐ³ @
                 )
    ôôÈ@    t 
  t      Àò   ò    !
    !   Èí  Èí  µ @
                 A
    Àò  ò@´ @    ® 
  ®          @ó óp
    p       S
   î    !   /diskUse
  ser/ext-1.3/extdoc
          main
    )   ð÷    à@
      ­       àò 0ö 
            :utf8 :u
  tf8 !   @ô    °´ @
  @               !
     @ô    Pµ @
           ó!
     d§ @  w
       sent!       0
  ¦ @  f
   a Bl    Side Effe
  cts: None  !   0õ